Nested Loop Sequences: Towards Efficient Loop Structures in Automatic Parallelization

An important problem in automatic parallelization of scientiic programs is to generate loops from an algebraic description of the iteration domain. The usual technique is to produce a perfectly nested set of loops, whose bounds consist in maxima and minima of several aane functions. However, perfect loop nests suuer from the run-time overhead of evaluating bound expressions and do not allow to scan non-convex domains eeciently. In this paper we study a candidate loop structure for overcoming these problems. This structure, called nested loop sequence (NLS,) is deened as a sequence of DO loops whose bodies are nonempty sequences of DO loops. We propose an algorithm to compute a NLS scanning a given convex polyhedron, which overcomes the run-time overhead problem. The algorithm produces a loop structure in which the bounds of every loop consist each in a single aane function. S equences imbriqu ees de boucles : vers des structures de boucles eecaces pour la parall elisation automatique R esum e : La restructuration automatique de programmes scientiiques n eces-site la g en eration de nouvelles structures de boucles pour le programme nal. Celle-ci se fait a partir d'une description alg ebrique du domaine d'it eration. Ha-bituellement, le compilateur g en ere un nid de boucles parfaitement imbriqu ees dans lequel les bornes sont des extrema de plusieurs fonctions aanes. Cette approche conduit a des surco^ uts importants a l'ex ecution, et ne permet pas le parcours de domaines d'it eration non convexes. Dans ce document nous etudions une structure de boucles permettant de r esoudre ces deux probl emes, appel ee s equence imbriqu ee de boucles. Nous proposons un algorithme permettant de calculer une telle structure enum erant les points d'un domaine convexe, ce qui permet de r esoudre le premier probl eme : l'algorithme produit une arborescence de boucles dans laquelle chacune des bornes consiste en une seule fonction aane.